a5f160f4e3587e7fa396a50b8e247e9f50384dd6,src/org/jgroups/JChannelFactory.java,JChannelFactory,close,#MuxChannel#,405
Before Change
Address addr=entry.channel.getLocalAddress();
if(addr != null) {
try {
mux.sendServiceDownMessage(ch.getId(), addr);
}
catch(Exception e) {
if(log.isErrorEnabled())
After Change
if(mux != null) {
Address addr=entry.channel.getLocalAddress();
if(addr != null) {
try {
boolean successfulFlush = entry.channel.startFlush(3000,false);
if(!successfulFlush && log.isWarnEnabled()){
log.warn("Flush failed at " + ch.getLocalAddress() + ch.getId());
}
mux.sendServiceDownMessage(ch.getId(), addr,true);
}
catch(Exception e) {
if(log.isErrorEnabled())